- specification language environment
- 规范语言环境
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
specification language environment
Look at other dictionaries:
Distributed Application Specification Language — The DASL Programming Language (Distributed Application Specification Language) is a high level, strongly typed programming language originally developed at Sun Microsystems Laboratories between 1999 and 2003 as part of the Ace Project. The goals… … Wikipedia
DASL - Distributed Application Specification Language — The DASL Programming Language (Distributed Application Specification Language) is a high level, strongly typed programming language originally developed at Sun Microsystems Laboratories between 1999 and 2003 as part of the… … Wikipedia
Language Of Temporal Ordering Specification — (LOTOS) is a formal specification language based on temporal ordering used for protocol specification in ISO OSI standards. It was published as ISO 8807 in 1990 and describes the order in which events occur.ee also* Formal methods * List of ISO… … Wikipedia
Hardware description language — In electronics, a hardware description language or HDL is any language from a class of computer languages and/or programming languages for formal description of electronic circuits. It can describe the circuit s operation, its design and… … Wikipedia
Java (programming language) — infobox programming language name = Java paradigm = Object oriented, structured, imperative year = 1995 designer = Sun Microsystems latest release version = Java Standard Edition 6 (1.6.0) latest release date = latest test version = latest test… … Wikipedia
Object Constraint Language — The Object Constraint Language (OCL) is a declarative language for describing rules that apply to Unified Modeling Language (UML) models developed at IBM and now part of the UML standard. Initially, OCL was only a formal specification language… … Wikipedia
Object language — An object language is a language which is the object of study in various fields including logic, linguistics, mathematics and theoretical computer science. The language being used to talk about an object language is called a metalanguage. An… … Wikipedia
Domain-specific language — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Interface description language — An interface description language (or alternately, interface definition language), or IDL for short, is a specification language used to describe a software component s interface. IDLs describe an interface in a language neutral way, enabling… … Wikipedia
Job Submission Description Language — is an extensible XML specification from the Global Grid Forum for the description of simple tasks to non interactive computer execution systems. Currently at version 1.0 (released November 7, 2005), the specification focuses on the description of … Wikipedia
Java Modeling Language — The Java Modeling Language (JML) follows the design by contract paradigm. It is a specification language for Java programs, using . There are various verification tools for JML, such as a runtime assertion checker and the Extended Static Checker… … Wikipedia
